terminating decimal - German English Dictionary